Cognitive behavioral therapy (CBT) for insomnia